The Formal Language and Design Principles of Autonomous DNA Walker Circuits.
نویسندگان
چکیده
Simple computation can be performed using the interactions between single-stranded molecules of DNA. These interactions are typically toehold-mediated strand displacement reactions in a well-mixed solution. We demonstrate that a DNA circuit with tethered reactants is a distributed system and show how it can be described as a stochastic Petri net. The system can be verified by mapping the Petri net onto a continuous-time Markov chain, which can also be used to find an optimal design for the circuit. This theoretical machinery can be applied to create software that automatically designs a DNA circuit, linking an abstract propositional formula to a physical DNA computation system that is capable of evaluating it. We conclude by introducing example mechanisms that can implement such circuits experimentally and discuss their individual strengths and weaknesses.
منابع مشابه
A Shift into Autonomous Education
Fostering autonomous learning has become one of the key concerns of course designers and curriculum planners in the last 20 years which has been validated on both ideological and psychological grounds. However, estimating learners’ readiness to accept autonomous education is an important step prior to moving toward autonomous education. Thus, the current research investigated the patterns of au...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملBehavioral Modeling and Simulation of Semiconductor Devices and Circuits Using VHDL-AMS
During the past few years, a lot of work has been done on behavioral models and simulation tools. But a need for modeling strategy still remains. The VHDL-AMS language supports the description of analog electronic circuits using Ordinary Differential Algebraic Equations (ODAEs), in addition to its support for describing discrete-event systems. For VHDL-AMS to be useful to the analog design ...
متن کاملتعبیر عناصر موسیقی و معماری با زبان مشترک نمونهموردی موسیقی و معماری سنتی ایران
Every nation has its own ideals that objectifying them is by culture. In the process of this transformation, the architecture and music which come from the culture of each region have a fundamental role. Architecture and music have many similarities in conceptual directions, space, shape and morphology. They also have similarities in the basic and fundamental principles such as proportions, rhy...
متن کاملDesign and Fabrication of Ultralight High-Voltage Power Circuits for Flapping-Wing Robotic Insects
Flapping-wing robotic insects are small, highly maneuverable flying robots inspired by biologicalinsects and useful for a wide range of tasks, including exploration, environmental monitoring, searchand rescue, and surveillance. Recently, robotic insects driven by piezoelectric actuators have achievedthe important goal of taking off with external power; however, fully autonomous operation requir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ACS synthetic biology
دوره 5 8 شماره
صفحات -
تاریخ انتشار 2016